Parallel key

Results: 117



#Item
71Theoretical computer science / Automated theorem proving / Concolic testing / Symbolic execution / KeY / Parallel computing / X86 / Type system / Algorithm / Data types / Formal methods / Computing

Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-02-15 14:07:11
72Simulation / Windows HPC Server / High-performance computing / Computing / Parallel computing / Computer cluster

Creating  a  New  Era  of  Advanced   Computing     A  summary  of  key  findings  from  the  NSF-­‐sponsored  report  “Impact  on  Scientific   Discovery

Add to Reading List

Source URL: www.ncsa.illinois.edu

Language: English - Date: 2014-03-03 10:11:21
73Airport / Runway / Airservices Australia / Air traffic control / Hong Kong International Airport / Simultaneous opposite direction parallel runway operations / Aviation / Aerospace engineering / Transport

KEY FACTS ABOUT NOISE SHARING What is the Long Term Operating Plan? The LTOP is a program to manage aircraft noise from Sydney Airport. Its aims are to make sure aircraft flights are sent over water and non-residential l

Add to Reading List

Source URL: www.airservicesaustralia.com

Language: English - Date: 2014-07-09 23:17:16
74Direct democracy / Structure / Elections / Politics of Europe / Government / E-democracy / Human rights / E-participation / Stephen Balkam / Politics / Technology / Democracy

PARALLEL EVENT “From here to e-democracy: promoting e-participation, and dealing with ‘harmful content’ and the ‘risk of harm’ from online and related offline activities – responsible behaviour by key actors

Add to Reading List

Source URL: www.itu.int

Language: English - Date: 2005-11-10 18:43:44
75Quantum information science / Quantum game theory / Quantum computer / Introduction to quantum mechanics / Quantum entanglement / Quantum state / Measurement problem / Quantum key distribution / Many-worlds interpretation / Physics / Quantum mechanics / Theoretical computer science

Quantum Games Have No News for Economists1 By David K. Levine2 This version: September 1, 2005 First version: December 3, 2005 Quantum computing offers the possibility of massively parallel computing that scales to large

Add to Reading List

Source URL: levine.sscnet.ucla.edu

Language: English - Date: 2006-03-01 14:17:13
76Algebraic curves / Hyperelliptic curve cryptography / Public-key cryptography / Hyperelliptic curve / Elliptic curve / Coprocessor / Multiplication / Abstract algebra / Cryptography / Mathematics

Finding Optimum Parallel Coprocessor Design for Genus 2 Hyperelliptic Curve Cryptosystems Guido Bertoni and Luca Breveglieri Politecnico di Milano, Italy {bertoni,breveglieri}@elet.polimi.it

Add to Reading List

Source URL: www.thomas-wollinger.de

Language: English - Date: 2004-05-03 03:54:01
77Software / Freedesktop.org / X Window System

Pole Display Key Features: • Ergonomic design • Interfaces available to connect to computers: o PD-2100S: Standard serial interface o PD-2100PP: Parallel pass-through interface

Add to Reading List

Source URL: www.geminicomputer.com

Language: English - Date: 2006-03-03 13:02:24
78Graphics hardware / Electronics / Digital signal processing / Video cards / Parallel computing / FLOPS / Basic Linear Algebra Subprograms / Fast Fourier transform / CUDA / Computer hardware / Computing / GPGPU

PAKCK: Performance and Power Analysis of Key Computational Kernels on CPUs and GPUs Julia S. Mullen, Michael M. Wolf and Anna Klein MIT Lincoln Laboratory Lexington, MA[removed]Email: {jsm, michael.wolf,anna.klein }@ll.mit

Add to Reading List

Source URL: ieee-hpec.org

Language: English - Date: 2013-11-19 13:36:34
79Computing / Environment / Economic development / Organizational theory / Public policy / Smart city / Green computing / Information and communications technology / Leapfrogging / Technology / Communication / Information technology

High-level OECD Conference ICTs, THE ENVIRONMENT AND CLIMATE CHANGE[removed]May 2009 Helsingør, Denmark Key messages from the parallel sessions Afternoon, 27th May and morning, 28th May

Add to Reading List

Source URL: www.oecd.org

Language: English - Date: 2014-07-21 01:23:32
80Data erasure / Serial ATA / USB flash drive / Solid-state drive / Disk formatting / Parallel ATA / Disk enclosure / Zip drive / Hard disk drive / Computer hardware / Computer storage media / Non-volatile memory

MediaTools WIPE PROFESSIONAL LEVEL | MULTI-DRIVE WIPE MediaTools Wipe Key Features √ Able to erase up to 18 drives simultaneously.

Add to Reading List

Source URL: www.prosofteng.com

Language: English - Date: 2013-04-24 14:19:05
UPDATE